人工智能为数学家找到“巨人的肩膀”
“AI大大提升了数学理论的研究效率，不仅可以进行推理结果的验证，还能帮助研究者拓展思路。”北京大学北京国际数学研究中心教授董彬向记者道出AI优势所在。从经验看，数学家花费时间最多的地方，往往是定理的证明和验证。“除了耗时耗力，数学家平时用自然语言表述的证明，并
董彬
明日，敬请关注！
11月22日，由黑龙江省总工会主办，哈尔滨市总工会承办的2024年黑龙江省“劳模工匠进校园”系列行动暨“大国工匠”先进事迹报告会将走进哈尔滨学院。
“AI大大提升了数学理论的研究效率，不仅可以进行推理结果的验证，还能帮助研究者拓展思路。”北京大学北京国际数学研究中心教授董彬向记者道出AI优势所在。从经验看，数学家花费时间最多的地方，往往是定理的证明和验证。“除了耗时耗力，数学家平时用自然语言表述的证明，并
11月22日，由黑龙江省总工会主办，哈尔滨市总工会承办的2024年黑龙江省“劳模工匠进校园”系列行动暨“大国工匠”先进事迹报告会将走进哈尔滨学院。